61. Algebra and coalgebra in computer science :
پدیدآورنده: Reiko Heckel, Stefan Milius (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Algebra, Congresses,Computer science-- Mathematics, Congresses
رده :
QA76
.
9
.
M35
62. Algebraic Informatics
پدیدآورنده: \ Andreas Maletti (Ed.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Software engineering.,Programming languages (Electronic computers) -- Semantics -- Congresses.,Algebra -- Data processing -- Congresses.,م‍ه‍ن‍دس‍ی ن‍رم اف‍زار ,زبانهای برنامه‌نویسی کامپیوتر -- معنی شناسی -- کنگره ها ,جبر -- داده‌پردازی -- کنگره ها
رده :
QA
76
.
76
.
A55
2015
E-Book
,
63. Algebraic approaches to program semantics
پدیدآورنده: Manes, Ernest G., 3491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Programming languages )Electronic computers(,، Algebra
رده :
QA
76
.
7
.
M34
1986
64. Algebraic approaches to program semantics
پدیدآورنده: Manes, Ernest G
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: ، Programming languages )Electronic computers( -- Semantics,، Algebra
رده :
QA
76
.
7
.
M34
1986
65. Algebraic approaches to program semantics
پدیدآورنده: Manes, Ernest G.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Programming languages )Electronic computers(-- Semantics,، Algebra
رده :
QA
76
.
7
.
M34
1986
66. Algebraic foundations in computer science :
پدیدآورنده: edited by Werner Kuich, George Rahonis.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science-- Mathematics.
رده :
QA76
.
9
.
M35
A44
2011
67. Algebraic informatics :
پدیدآورنده: Miroslav Ćirić, Manfred Droste, Jean-Éric Pin (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Algebra-- Data processing, Congresses.,Programming languages (Electronic computers)-- Semantics, Congresses.,Algebra-- Data processing.,Programming languages (Electronic computers)-- Semantics.
رده :
QA76
.
7
68. Algol
پدیدآورنده: Algol
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، ALGOL )Computer program language(,، Programming languages )Electronic computers(
رده :
QA
76
.
73
.
A24
I57
69. Algorithmic language and program development
پدیدآورنده: Bauer, Friedrich Ludwig, 4291-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computer programming,، Programming languages )Electronic computers(
رده :
QA
76
.
6
.
B39
1982
70. Algorithmic languages and calculi: IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi, 17-22 Feb. 1997, Alsace, France
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Computer programming-- Congresses,، Programming languages )Electronic computers(-- Congresses,، Computer algorithms-- Congresses
رده :
QA
76
.
6
.
I1775
1997
71. An Attribute grammar for the semantic analysis of ADA
پدیدآورنده: J. Uhl [and others].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Ada (Computer program language),Ada (Langage de programmation),Programming languages (Electronic computers) -- Semantics.
رده :
QA76
.
73
.
A35
J845
1982
72. An Attribute grammar for the semantic analysis of ADA
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Ada )Computer program language(,، Programming languages )Electronic computers(-- Semantics
رده :
QA
76
.
73
.
A35
.
A87
1982
73. <An> Introduction to Python and Computer Programming
پدیدآورنده: \ Yue Zhang.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Python (Computer program language),Programming languages (Electronic computers),پیتون (زبان برنامه‌نویسی کامپیوتر),زبانهای برنامه‌نویسی کامپیوتر,a03,a04,a03,a04
رده :
QA
76
.
73
.
I5Z46
2015
E-Book
,
74. An algebraic approach to compiler design
پدیدآورنده: Augusto Sampaio,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Compilers )Computer programs(,Programming languages )Electronic computers(
رده :
QA
C65
,
S27
76
.
76
1997
75. An intensional implementation technique for functional languages
پدیدآورنده: Yaghi, Ali A. G.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: QA76 Electronic computers. Computer science. Computer software
76. An introduction to Python and computer programming /
پدیدآورنده: Yue Zhang
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Programming languages (Electronic computers),Python (Computer program language)
رده :
QA76
.
73
.
P98
77. An introduction to TTCN-3
پدیدآورنده: / Colin Willcock ... [et al.]
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Telecommunication systems , Testing , Data processing,Computer networks , Testing , Data processing,Programming languages (Electronic computers)
رده :
E-BOOK
78. <An> introduction to TTCN - 3
پدیدآورنده: Colin Willcock ... [et al.]&
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع: Telecommunication systems, Testing, Data processing,Computer networks, Testing, Data processing,Programming languages (Electronic computers)
رده :
TK
،
5102
,.
84
،.
A5
،
2011
79. An introduction to TTCN-3
پدیدآورنده: / Colin Willcock ... [et al.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Telecommunication systems- Testing- Data processing,Computer networks- Testing- Data processing,Programming languages (Electronic computers)
رده :
TK5102
.
84
.
I58
2005
80. An introduction to TTCN-3
پدیدآورنده: Colin Willcock ... [et al.]
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer networks-- Testing-- Data processing,Programming languages (Electronic computers),Telecommunication systems-- Testing-- Data processing
رده :
TK5102
.
84
.
I58
2011
